Robert Nieuwenhuis And NotEspagne
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
007366 | Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michael Rusinowitch | Deciding the Confluence of Ordered Term Rewrite Systems |
007454 | Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France] | Deciding the Confluence of Ordered Term Rewrite Systems |
00B196 | Hubert Comon ; Paliath Narendran ; Robert Nieuwenhuis ; Michael Rusinowitch | Decision problems in ordered rewriting |
00B668 | Hubert Comon [France] ; Paliath Narendran ; Robert Nieuwenhuis ; Michaël Rusinowitch | Decision problems in ordered rewriting |
This area was generated with Dilib version V0.6.33. |